Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca Luca Aceto1 Matteo Cimini1

Source URL: www.ru.is

On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems∗ Naoki Nishida†, Masahiko Sakai and Toshiki Sakabe Graduate School of Information Science, Nagoya University, Furo-cho, Chikusa-ku, Nago

Source URL: www.sakabe.nuie.nagoya-u.ac.jp

Location Choice for Shopping and Leisure Activities Implemented in the Activity-based Multi-agent Transport Simulation MATSim Andreas Horni Darren M. Scott Michael Balmer Kay.W. Axhausen

Source URL: www.strc.ch

• Economy
• Academia
• Business
• Systems theory
• Scientific modeling
• Transportation planning
• Algorithm
• Mathematical logic
• Theoretical computer science
• Scientific modelling
• Leisure
• Time

A Parallel Framework for Large Spatial Microsimulations David Charypar Andreas Horni Kay W. Axhausen 2010

Source URL: www.strc.ch

• Software
• Simulation
• Traffic simulation
• Application software
• Simulation software
• Scientific modeling
• Multi-agent systems
• Microsimulation
• Agent-based model
• Aimsun
• Scientific modelling
• PTV VISSIM

Working with multi-agent-models – Pro and cons for daily routine Florian Harder, Rapp Trans AG Conference paper STRC 2012

Source URL: www.strc.ch

• Multi-agent systems
• Simulation
• Scientific modeling
• Agent-based model
• Complex systems theory
• Scientific modelling
• PTV AG
• Agent-based social simulation
• Comparison of agent-based modeling software

Simulating the influence of Social Contacts Spatial Distribution on Mobility Behavior Thibaut Dubernet Kay W. Axhausen April 2015

Source URL: www.strc.ch

• Transportation planning
• Systems science
• Multi-agent systems
• Economy
• Agent-based model
• Artificial life
• Complex systems theory
• Operations research
• Economic model
• Scientific modelling
• Mode choice
• Simulation

To appear in ACM TOG (). Fast Simulation of Mass-Spring Systems Tiantian Liu University of Pennsylvania

Source URL: sealab.cs.utah.edu

Theories of testimony | A simulation model | Conclusions A A systems-oriented systems-oriented approach approach

Source URL: www.andrew.cmu.edu

Real-time Hebbian Learning from Autoencoder Features for Control Tasks To appear in: Proc. of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems (ALIFE 14). Cambridge, MA: MIT Press

Source URL: eplex.cs.ucf.edu

• Artificial neural networks
• Neuroscience
• Applied mathematics
• Cybernetics
• Autoencoder
• Hebbian theory
• Feature learning
• Deep learning
• Restricted Boltzmann machine
• Unsupervised learning
• Biological neural network
• Backpropagation

A pedestrian simulation for hiking in the alps Christian Gloor, Dept. of Computer Science, ETH Zurich ¨ Laurent Mauron, Dept. of Computer Science, ETH Zurich ¨ Kai Nagel, Dept. of Computer Science, ETH Zurich

Source URL: www.strc.ch

• Scientific modeling
• Simulation
• Systems science
• Complex systems theory
• Academia
• Crowds
• Knowledge
• Models of computation
• Crowd simulation
• Agent-based model
• Traffic simulation
• Waypoint